A Proposal for Real Time Hurst Parameter Derivation

A theory for execution-time derivation in real-time programs

We provide an abstract command language for real-time programs and outline how a partial correctness semantics can be used to compute execution times. The notions of a timed command, refinement of a timed command, the command traversal condition, and the worst-case and best-case execution time of a command are formally introduced and investigated with the help of an underlying weakest liberal p...

Hurst Parameter Estimation for Epileptic Seizure Detection

Estimation of the Hurst parameter provides information about the memory range or correlations (long vs. short) of processes (time-series). A new application for the Hurst parameter, real-time event detection, is identified. Hurst estimates using rescaled range, dispersional and bridgedetrended scaled windowed variance analyses of seizure time-series recorded from human subjects reliably detect ...

Derivation of Sequential, Real-Time, . . .

A Proposal for a Real-Time Extension of TTCN

In this paper we propose an extension of TTCN (Tree and Tabular Combined Notation) to real-time TTCN. The extension is de-ned on a syntactical and semantical level. Syntactically, we provide facilities to annotate TTCN statements with two time values, namely an earliest execution time (EET) and a latest execution time (LET). The informal interpretation of these time values is that a TTCN statem...

Simulation of a Neutron Detector for Real Time Imaging Applications

Monte Carlo Method is used to simulate a double layer gadolinium-amorphous silicon thermal neutron detector. The detector fabricated in pixel array configuration has various applications including neutron imaging. According to the simulation results, a detector consisting of a gadolinium (Gd) film with thickness of 2-4 ~m, sandwiched properly with two layers of sufficiently thick (-30 ?µm) hydr...